منابع مشابه
Real Time is Really Simple
It is easy to write and verify real-time specifications with existing languages and methods; one just represents time as an ordinary variable. The resulting specifications can be verified with ordinary model checkers. This basic idea and some less obvious details are explained with simple examples.
متن کامل„Real-Time Datasets Really Do Make a Difference: Definitional Change, Data Release and Forecasting“ Real-Time Datasets Really Do Make a Difference: Definitional Change, Data Release, and Forecasting∗
In this paper we ask the following three questions. First, does the usefulness of a real-time dataset depend upon which release of data we are interested in forecasting; and are real-time datasets useful, in general? Second, what are the trade-offs associated with: early release inefficiency; early release measurement error; the impact that definitional change has on time series consisting of o...
متن کاملRT-MLab: Really Real-Time Robotics
A common misconception about real-time computing is that it is equivalent to \fast computing." Many robotics examples in recent history have shown that without rigorous understanding of the resource requirements and interactions of the software, these systems are doomed to failure. In this paper, we discuss our application of rigorous real-time analysis and execution methods to Georgia Tech's M...
متن کاملReally computing nonperturbative real time correlation functions.
It has been argued by Grigoriev and Rubakov that one can simulate real time processes involving baryon number non-conservation at high temperature using real time evolution of classical equations, and summing over initial conditions with a classical thermal weight. It is known that such a naive algorithm is plagued by ultraviolet divergences. In quantum theory the divergences are regularized, b...
متن کاملReal-Time Model Checking Is Really Simple
It is easy to write and verify real-time specifications with existing languages and methods; one just represents time as an ordinary variable and expresses timing requirements with special timer variables. The resulting specifications can be verified with an ordinary model checker. This basic idea and some less obvious details are explained, and results are presented for two examples.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: F1000Research
سال: 2018
ISSN: 2046-1402
DOI: 10.12688/f1000research.15517.1